Figures filmiques d’ouvrières : travail, genre et dignité, variations sur une trilogie classique (1962-2011)

Une Vue Panoramique Sur L’analyse Semi-classique

Énumération des cartes pointées sur une surface orientable de genre quelconque en fonction des nombres de sommets et de faces

Dans cet article, nous explicitons la forme ge ne rale des se ries ge ne ratrices des cartes pointe es sur une surface orientable, e nume re es en fonction des nombres de sommets et de faces. Toutes ces se ries ge ne ratrices sont des se ries rationnelles d'un unique syste me parame trique des variables de nombrant les sommets et les faces. Nous explicitons ces se ries dans le cas des cartes po...

Interactions post-WIMP et applications existantes sur une table interactive

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Relaxations de la régression logistique : modèles pour l'apprentissage sur une sous-population et la prédiction sur une autre

Résumé. Habituellement en analyse discriminante on a à prédire le groupe d’appartenance à partir des variables de description ou covariables. La règle de prédiction est élaborée en utilisant un échantillon d’apprentissage soumis aux mêmes conditions externes que les individus à prédire. Dans ce travail, on s’intéresse à la prédiction d’individus d’une certaine sous-population utilisant un échan...